Constraint programming - PDFSEARCH.IO - Document Search Engine

Constraint programming
Results: 1169

#	Item
261	An Optimal Arc Consistency Algorithm for a Chain of Atmost Constraints with Cardinality Mohamed Siala1,2 , Emmanuel Hebrard1,3 , and Marie-Jos´e Huguet1,2 1 CNRS, LAAS, 7 avenue du colonel Roche, FToulouse, Fran Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2012-06-06 05:07:36 Local consistency Constraint satisfaction problem Vector space Algebra Constraint programming Mathematics
262	Buffered Resource Constraint: Algorithms and Complexity Christian Bessiere1 , Emmanuel Hebrard2 , Marc-Andr´e M´enard3 , Claude-Guy Quimper3 , and Toby Walsh4 1 Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2014-02-13 08:25:28 Local consistency Mathematics Flow network Applied mathematics Theoretical computer science Constraint programming Network flow Operations research
263	An Introduction to Satisfiability Modulo Theories Clark Barrett and Sanjit Seshia ICCAD 2009 Tutorial – p. 1/78 Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2011-05-26 11:35:50 Electronic design automation Logic in computer science Satisfiability Modulo Theories Theoretical computer science Applied mathematics Constraint programming
264	cKanren miniKanren with Constraints Claire E. Alvis Jeremiah J. Willcock Kyle M. Carter William E. Byrd Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:23:47 Computer programming Constraint logic programming Function Constraint satisfaction problem FO Free variables and bound variables Sheaf AC-3 algorithm Constraint satisfaction Constraint programming Software engineering Mathematics
265	The ROOTS Constraint Christian Bessiere1 , Emmanuel Hebrard2 , Brahim Hnich3 , Zeynep Kiziltan4 , and Toby Walsh5 1 3 Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2010-11-22 06:22:29 Constraint satisfaction Decomposition method Constraint inference Constraint programming Local consistency Constraint satisfaction problem
266	Articles Agents, Bodies, Constraints, Dynamics, and Evolution Alan K. Mackworth Add to Reading List Source URL: www.aaai.org Language: English - Date: 2009-03-24 16:45:42 Artificial intelligence Computer science Science Alan Mackworth Constraint programming Constraint satisfaction Association for the Advancement of Artificial Intelligence
267	Super Solutions in Constraint Programming Emmanuel Hebrard, Brahim Hnich, and Toby Walsh? Cork Constraint Computation Centre University College Cork {e.hebrard, brahim, tw}@4c.ucc.ie Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2010-11-22 06:22:31 Mathematics Constraint satisfaction Local consistency Constraint optimization Mathematical optimization Polynomial Function Boolean satisfiability problem AC-3 algorithm Constraint programming Software engineering Theoretical computer science
268	Distance Constraints in Constraint Satisfaction Emmanuel Hebrard 4C, Computer Science Dept. UCC, Ireland Barry O’Sullivan Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2010-11-22 06:22:33 Computing Local consistency Constraint satisfaction Backtracking Mathematical optimization Decomposition method Constraint optimization Constraint programming Software engineering Computer programming
269	Accelerating lemma learning using joins - DPLL(t) Nikolaj Bjørner Microsoft Research Bruno Dutertre SRI International Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2009-07-21 19:11:23 Automated theorem proving Constraint programming Formal methods Logic in computer science Electronic design automation DPLL algorithm Satisfiability Modulo Theories Boolean satisfiability problem Resolution Theoretical computer science Mathematics Mathematical logic
270	Advances in Bayesian Network Learning using Integer Programming Mark Barlett Dept of Computer Science & York Centre for Complex Systems Analysis University of York, UK Add to Reading List Source URL: www.cs.york.ac.uk Language: English - Date: 2013-05-28 12:15:25 Mathematics Linear programming Constraint programming Convex optimization Combinatorial optimization Linear programming relaxation Cutting-plane method Bayesian network SCIP Mathematical optimization Operations research Applied mathematics

UPDATE